Formal Analysis – Bücher, CDs, LPs und mehr

Xiao-Xiong Gan
Formal Analysis

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series or formal functionals. This book is the first comprehensive presentation of the topi…

lieferbar innerhalb 2-3 Wochen

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took pla…

lieferbar innerhalb 2-3 Wochen

Buch

Daniel Große, Lucas Klemmer
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

Frauke Carola Harm
Erste Hilfe lernen

Young Academics: Pädagogik - Band 3

Die Gesamtbevölkerung verfügt nach wie vor nicht über die erforderlichen Erste-Hilfe-Kompetenzen. Aus pädagogisch-didaktischer Perspektive analysiert Frauke Carola Harm das Kursformat der Bundesarbeitsgem…

sofort lieferbar

Buch

Dumb Money - Schnelles Geld

YouTuber Keith Gill, alias Roaring Kitty, ist Finanzanalyst und eigentlich ein ganz normaler Typ. Ein bisschen nerdig vielleicht. In einer für sich selbst erstellten Analyse untersucht er die Aktie von Ga…

lieferbar innerhalb von 3 Tagen

DVD

Dumb Money - Schnelles Geld (Blu-ray)

YouTuber Keith Gill, alias Roaring Kitty, ist Finanzanalyst und eigentlich ein ganz normaler Typ. Ein bisschen nerdig vielleicht. In einer für sich selbst erstellten Analyse untersucht er die Aktie von Ga…

lieferbar innerhalb von 3 Tagen

Blu-ray Disc

Maria Lohmann
Laborwerte verstehen. Kompakt-Ratgeber

INHALT Vorwort LABORWERTE UND IHRE BEDEUTUNG Das Blut - Die Blutentnahme - Was sind Normalwerte? - Die Aufgaben des Blutes - Das Blutbild - Die Blutgerinnung Mineralstoffe und Spurenelemente - Mineralst…

sofort lieferbar

Buch

Mitch Ryder

With Love

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

CD

Manic Street Preachers

Critical Thinking (Deluxe Edition) (Hardcoverbook Hochformat)

Nicky Wire sagte über »Critical Thinking«: »Dies ist eine Platte, auf der Gegensätze aufeinanderprallen - eine Dialektik, die versucht, einen Weg der Lösung zu finden. Während die Musik aufbrausend und el…

2 CDs

Mitch Ryder

With Love (180g)

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

LP

Shake Stew

Heat

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

Artikel am Lager

CD

Shake Stew

Heat (180g)

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

Artikel am Lager

2 LPs

Symbolic Computation in Software Science

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7…

lieferbar innerhalb 2-3 Wochen

Buch

Kjetil Bjorvatn
Microeconomics Made Simple

Classroom Companion: Economics

This textbook offers a clear and accessible introduction to the core principles of microeconomics. Designed for students new to the subject, it covers all the essential topics found in a standard microeco…

lieferbar ab 29.11.2025.

Buch

Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev

This volume is a collection of essays related to the work of Professor Yuriy Vasilievich Ivlev, a distinguished Russian logician and philosopher renowned for his expertise in many-valued and modal logics.…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

One Shot Hitchcock

In recent years, the enduring appeal of Alfred Hitchcock to film studies has been evidenced by the proliferation of innovative approaches to the director's work. Adding to this pattern of innovation, the …

sofort lieferbar

Buch

Engineering of Complex Computer Systems

Lecture Notes in Computer Science - Band 15746

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.The …

lieferbar ab 17.10.2025.

Buch

Hannah Holtzman
Through a Nuclear Lens

The Franco-Japanese coproduction Hiroshima mon amour (1959) is one of the most important films for global art cinema and for the French New Wave. In Through a Nuclear Lens, Hannah Holtzman examines this f…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Formal Analysis" - alle Bücher, CDs, LPs und mehr